- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Works by Alfred B. Manaster
16 found
Order:
- Recursive categoricity and recursive stability.John N. Crossley, Alfred B. Manaster & Michael F. Moses - 1986 - Annals of Pure and Applied Logic 31:191-204.
- A universal embedding property of the RETs.Anil Nerode & Alfred B. Manaster - 1970 - Journal of Symbolic Logic 35 (1):51-59.
- Two-dimensional partial orderings: Recursive model theory.Alfred B. Manaster & Joseph G. Rosenstein - 1980 - Journal of Symbolic Logic 45 (1):121-132.
- Completeness, compactness, and undecidability: an introduction to mathematical logic.Alfred B. Manaster - 1975 - Englewood Cliffs, N.J.: Prentice-Hall.
- Don C. Ferguson. Infinite products of recursive equivalence types. The Journal of symbolic logic, vol. 33 , pp. 221–230.Alfred B. Manaster - 1970 - Journal of Symbolic Logic 35 (4):590.
- Meeting of the association for symbolic logic: San Diego, 1979.Alfred B. Manaster, Thomas H. Payne & David Harrah - 1981 - Journal of Symbolic Logic 46 (1):199-203.
- Partial orderings of fixed finite dimension: Model companions and density.Alfred B. Manaster & Jeffrey B. Remmel - 1981 - Journal of Symbolic Logic 46 (4):789-802.
- Rich co-ordinals, addition isomorphisms, and rets.Alfred B. Manaster - 1969 - Journal of Symbolic Logic 34 (1):45-52.
- Some contrasts between degrees and the arithmetical hierarchy.Alfred B. Manaster - 1971 - Journal of Symbolic Logic 36 (2):301-304.
- Two-dimensional partial orderings: Undecidability.Alfred B. Manaster & Joseph G. Rosenstein - 1980 - Journal of Symbolic Logic 45 (1):133-143.
- CO‐Simple Higher‐Order Indecomposable Isols.Jeffery B. Remmel & Alfred B. Manaster - 1980 - Mathematical Logic Quarterly 26 (14-18):279-288.
- Dekker J. C. E.. Les fonctions combinatoires et les isols. Collection de logique mathématique, série A, no. 22, Gauthiers-Villars, Paris, and E. Nauwelaerts, Louvain, 1966, 79 pp. [REVIEW]Alfred B. Manaster - 1972 - Journal of Symbolic Logic 37 (2):406-406.
- John N. Crossley. Recursive equivalence: a survey. Proceedings of the summer school in logic, Leeds, 1967, edited by M. H. Löb, Lecture notes in mathematics, no. 70, Springer-Verlag, Berlin, Heidelberg, and New York, 1968, pp. 241–251. - John N. Crossley. Recursive equivalence. The bulletin of the London Mathematical Society, vol. 2 , pp. 129–151. [REVIEW]Alfred B. Manaster - 1972 - Journal of Symbolic Logic 37 (2):406-407.
- Review: Don C. Ferguson, Infinite Products of Recursive Equivalence Types. [REVIEW]Alfred B. Manaster - 1970 - Journal of Symbolic Logic 35 (4):590-590.
- Review: J. C. E. Dekker, Les Fonctions combinatoires et les Isols. [REVIEW]Alfred B. Manaster - 1972 - Journal of Symbolic Logic 37 (2):406-406.
- Review: John N. Crossley, Recursive equivalence: A survey; John N. Crossley, Recursive equivalence. [REVIEW]Alfred B. Manaster - 1972 - Journal of Symbolic Logic 37 (2):406-407.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-7c88c7cdf7-8qzwx uwo